0.59/0.72	unsat
