Let a 7 1 2 (15/34)

Let a 7 1 2