86.17/86.48	unsat
