a = -20 ln(6/(sqrt(93) - 3)), b = sqrt(31/3)/2 - 1/2, c = 1/450 - sqrt(31/3)/1500