0.80/0.88	unsat
