minizinc challenge without learning this year..