86.04/88.83	unsat
