87.08/87.25	unsat
