loading SCIP...
22 16 true
1 4 5 6 9 10 12 17 19 20 21 22 28 29 30 33 34 36 38 39 42 49