loading SCIP...
21 328 true
2 3 5 6 7 11 12 13 14 15 16 17 18 20 23 24 27 32 36 42 46