85.92/88.68	unsat
