82.90/83.53	unsat
