0.59/1.84	unsat
