86.08/86.17	unsat
