0.39/0.48	unsat
