85.95/86.17	unsat
