82.11/82.24	unsat
