0.59/1.16	unsat
