86.68/88.50	unsat
