0.59/0.66	unsat
