87.12/88.51	unsat
