B[32] Sa[5] Cin C[32]
#succeeds
34 2 0 136
325948595 15 0 -900104192
522857969 8 0 707653888
557969100 17 0 -577241088

#fails; C[32] should be 144 
18 3 0 5