Given the following code of two processes. S$1$ and S$2$ are shared boolean variables, there initial values are randomly assignedP$1$:while $($s$1==$ s$2)$; $//$CSs$1=$ s$2$P$2$:while $($s$1!=$ s$2)$; $//$CSs$2=$ negate $($s$1)$; $//$ negate function if true becomes false, and the vise versawhich of the following is trueSelect one:a$.$ Mutual exclusion is satisfied and progress b$.$ progress is satisfied but not the mutual exclusionc. mutual exclusion and progress are not satisfiedd. Mutual exclusion is satisfied but not progress