87.00/88.08	unsat
