Made my solver 32x (!) faster.