5.49/5.96	unsat
