80.42/83.81	unsat
