7.39/7.76	unsat
