S340 COMPLETE. abc conjecture exponent epsilon = K_Mex - 1 = 1/12 = 1.0833; c < K * rad(abc)^(1+1/12).
