0.52/0.66	unsat
