82.12/82.87	unsat
