82.47/85.85	unsat
