All possible values of the variable are:6,18,36.
The value 6 is possible by order:
T(B)->T(C)->T(A).
The value 18 is possible by order:
T(C)->T(B)->T(A).
The value 36 is possible by order:
T(C)->T(A)->T(B).
Since only thread B or thread C can occur initially due to P(s1), as s2 is initialized to 0
ANS:(A),(C),(D)