loading SCIP...
28 11781 true
0 10 14 15 19 26 28 29 30 34 37 40 42 45 50 55 58 61 62 65 70 72 73 79 94 95 97 98