87.52/87.88	unsat
