a = 8866128975287528,
b = -8778405442862239,
c = -2736111468807040,

>>831 にある。