0.59/1.24	unsat
