I have checked various compression calculators. If I cut the heads to 82.5 cc that should get me 9.46:1