0.60/0.66	unsat
