loading SCIP...
25 17938 true
1 5 8 11 14 15 16 35 36 37 38 39 43 58 59 61 64 65 66 67 79 82 85 90 96