\section{Testklausur KW23}

\input{test/sat}
\input{test/obdd}
\input{test/fm}
\input{test/diff}
\input{test/ec}
\input{test/pres}