0.59/1.77	unsat
