81.86/82.57	unsat
