packages: .
reorder-goals: True
max-backjumps: 100