loading SCIP...
21 23375 true
3 10 15 16 18 26 36 42 55 56 68 69 71 75 80 81 85 87 90 96 97