79.74/83.31	unsat
