loading SCIP...
41 1391 true
1 4 7 12 14 17 23 28 30 31 32 33 36 37 38 41 47 48 53 54 56 57 59 60 61 62 63 66 67 69 74 78 79 80 82 83 85 90 94 97 98