87.83/88.09	unsat
