0.59/1.41	unsat
