87.88/88.05	unsat
