$\mathrm{csa11}=1$ $(\mathrm{sa25}=1)\land (\mathrm{sa27}=1)\land (\mathrm{sa18}=1)\land (\mathrm{sa28}=0)$ $(\mathrm{sa44}=1)\land (\mathrm{sa9}=1)\land (\mathrm{csa1}=1)$ $(\mathrm{sa43}=1)\lor (\mathrm{sa69}=1)\land (\mathrm{sa78}=0)$ $(\mathrm{sa9}=1)\land (\mathrm{csa2}=1)$ $(\mathrm{csa6}=1)\lor (\mathrm{sa9}=1)\land (\mathrm{sa13}=1)$ $(\mathrm{sa13}=1)\lor (\mathrm{sa18}=1)\land (\mathrm{sa15}=1)$ $(\mathrm{sa18}=1)\land (\mathrm{csa5}=1)\land (\mathrm{sa28}=0)$ $(\mathrm{sa22}=1)\land (\mathrm{sa13}=1)$ $\mathrm{sa49}=1$ $(\mathrm{sa28}=1)\land (\mathrm{sa42}=0)$ $(\mathrm{csa3}=1)\lor (\mathrm{sa22}=1)\land (\mathrm{sa30}=1)\land (\mathrm{csa11}=0)$ $(\mathrm{sa18}=1)\lor (\mathrm{sa13}=1)\land (\mathrm{sa39}=1)$ $(\mathrm{sa39}=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{sa15}=1)$ $(\mathrm{sa49}=1)\land (\mathrm{sa48}=1)$ $(\mathrm{sa78}=1)\land (\mathrm{sa28}=0)$