\section{SAT: Anwendungen}

\input{sat/graph}
\input{sat/sym}

