loading SCIP...
25 17109 true
0 4 11 15 16 17 20 21 27 37 41 44 47 49 65 67 74 76 81 82 83 84 87 91 92