loading SCIP...
39 3094 true
1 2 5 6 9 10 15 16 18 20 23 26 27 28 43 45 51 54 55 57 58 59 60 61 63 66 71 76 77 79 83 84 85 87 88 89 90 95 97