80.57/83.41	unsat
