82.60/82.84	unsat
