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

P$1$:

while $($s$1==$ s$2)$;

$//$CS

s$1=$ s$2$

P$2$:

while $($s$1!=$ s$2)$;

$//$CS

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 and progress are not satisfied

b$.$ Mutual exclusion is satisfied and progress

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

d$.$ Mutual exclusion is satisfied but not progress