Problems from Arora-Barak:

6 marks each:
5.3,5.13,6.8,6.9,7.7,8.9

7 marks each:
7.10,8.5