0.63/0.66	unsat
