82.18/82.53	unsat
