loading SCIP...
30 7875 true
1 4 5 15 19 21 22 25 27 30 37 38 43 46 47 48 49 52 57 58 59 61 64 65 68 74 81 87 96 97