86.70/88.00	unsat
