Eine SAT-Codierung für das $ n $ -Bruchproblem