0.84/0.88	unsat
