B1.1 (a) : Fixed using local undeterminism
B1.1 (a) Small changes
B1.1 (a-b) : Approach found