86.88/86.92	unsat
