tweede werkt nu grotendeels (omzetting van Board voorstelling, naar numbervoorstelling nog nt), nu ook symmetry brekende constraints