82.08/82.11	unsat
