0.59/1.20	unsat
