82.48/83.45	unsat
