87.14/88.98	unsat
