0.64/0.66	unsat
