85.91/86.13	unsat
