7 choose 3