80.49/83.76	unsat
