82.86/83.92	unsat
