85.11/86.34	unsat
