0.82/0.88	unsat
