0.59/1.07	unsat
