0.61/0.66	unsat
