Rhythmischer SAT

TODO