$(\mathrm{sa12}=1)\lor (\mathrm{sa20}=1)\land (\mathrm{csa2}=1)$ $(\mathrm{sa9}=1)\land (\mathrm{sa8}=1)\land (\mathrm{sa2}=1)\land (\mathrm{sa3}=1)\land (\mathrm{sa1}=1)\land (\mathrm{sa5}=1)\land (\mathrm{sa7}=1)\land (\mathrm{sa6}=1)$ $(\mathrm{sa30}=1)\land (\mathrm{sa29}=1)\land (\mathrm{sa28}=1)$ $(\mathrm{sa25}=1)\land (\mathrm{sa24}=1)\land (\mathrm{sa22}=0)$ $\mathrm{sa22}=0$ $(\mathrm{sa30}=1)\land (\mathrm{sa22}=1)$ $((\mathrm{sa10}=1)\land (\mathrm{sa12}=1))\lor ((\mathrm{sa11}=1)\land (\mathrm{sa12}=1))$ $(\mathrm{sa12}=1)\land (\mathrm{sa13}=0)$ $(\mathrm{sa17}=1)\land (\mathrm{sa20}=1)$ $(\mathrm{sa20}=1)\land (\mathrm{sa79}=0)\land (\mathrm{sa13}=0)$ $\mathrm{sa26}=1$ $\mathrm{sa28}=1$ $\mathrm{sa29}=1$ $\mathrm{sa30}=1$ $\mathrm{csa10}=1$ $\mathrm{csa10}=1$ $(\mathrm{csa10}=1)\lor (\mathrm{sa24}=0)\lor (\mathrm{csa4}=1)$ $(\mathrm{csa7}=1)\lor (\mathrm{csa3}=1)$ $\mathrm{csa8}=1$ $\mathrm{csa1}=1$