5. Does this solution work? If yes, prove it. If not, define the problem and illustrate with an example that it does not work. PO P1 flag[0] := true; while flag[1] do if turn = 1 then begin flag[0] := false; while turn = 1 do nothing; flag[0] := true; end; critical section turn = 1; flag[0] := false; flag[1] := true; while flag[O] do if turn = 0 then begin flag[1] := false; while turn = 0 do nothing; flag[1] := true; end; critical section turn := 0; flag[1] := false