Given the following code of two processes. $S1$ and $S2$ are shared boolean variables, there initial values are randomly assigned

P$1$:

while $)==(s2$;

$//$CS

$s1=s2$

P$2$:

while $|)=(52$;

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

s$2=$ negate $($s$1)$; $//$ negate function if true becomes false, and the vise versa

which of the following is true

Select one:

a$.$ Mutual exclusion is satisfled but not progress

b$.$ mutual exclusion and progress are not satisfled

c$.$ Mutual exclusion is satisfied and progress

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