85.25/87.20	unsat
