The am2tools program is wrong. The 533 divider with a 9.5 multiplier is /7.