9 choose 3