Besserer Output
Minizinc für Output verwendet