85.17/86.62	unsat
