82.52/85.67	unsat
