loading SCIP...
34 6985 true
0 1 8 9 11 12 14 15 27 29 33 36 37 38 41 44 47 48 50 52 55 57 58 59 60 62 67 72 76 82 83 84 88 90