loading SCIP...
29 10750 true
1 22 23 32 34 35 37 39 40 45 46 47 48 51 59 60 64 66 71 73 76 77 78 79 81 84 85 95 96