Gron the following code of two processes. $51$ and $$2$ are shared boolean variables, there initial values are randomly assigned

P$1$:

while $)==(s2$;

$\frac{\frac{?}{?}}{C}S$

$s1=s2$

P$2$:

while $)(s2$;

$\frac{\frac{?}{?}}{C}S$

$s2=$ negate $(s1)$; $//$ negate function if true becomes false, and the vise versa

which of the following is true

Select one:

a$.$ Mutual exclusion is satisfied and progress

b$.$ mutual exclusion and progress are not satisfied

c$.$ progress is satisfied but not the mutual exclusion

d$.$ Mutual exclusion is satisfied but not progress