0.59/1.08	unsat
