86.58/86.78	unsat
