0.59/1.00	unsat
