0.28/0.66	unsat
