0.62/0.66	unsat
