$\mathrm{csa11}=1$ $(\mathrm{sa25}=1)\land (\mathrm{sa27}=1)\land (\mathrm{sa47}=1)\land (\mathrm{sa29}=0)$ $(\mathrm{sa10}=1)\land (\mathrm{sa44}=1)\land (\mathrm{csa1}=1)$ $(\mathrm{sa43}=1)\lor (\mathrm{sa69}=1)\land (\mathrm{sa79}=0)$ $\mathrm{csa2}=1$ $(\mathrm{sa10}=1)\lor (\mathrm{csa6}=1)$ $(\mathrm{sa14}=1)\lor (\mathrm{sa19}=1)$ $(\mathrm{csa5}=1)\land (\mathrm{sa29}=0)$ $\mathrm{sa14}=1$ $\mathrm{sa50}=1$ $\mathrm{sa42}=0$ $(\mathrm{sa23}=1)\lor (\mathrm{csa3}=1)\land (\mathrm{csa11}=0)$ $(\mathrm{sa19}=1)\lor (\mathrm{sa14}=1)$ $(\mathrm{sa40}=1)\lor (\mathrm{sa72}=1)\lor (\mathrm{sa73}=1)\lor (\mathrm{sa74}=1)\lor (\mathrm{sa76}=1)\lor (\mathrm{sa77}=1)\lor (\mathrm{sa75}=1)\lor (\mathrm{sa17}=1)$ $\mathrm{sa48}=1$ $\mathrm{sa29}=0$