take 9 (like take 8, but with ONE_PLY in reduction instead of 2*ONE_PLY)