loading SCIP...
28 12546 true
0 4 8 14 18 19 22 23 24 28 29 41 42 43 45 46 48 49 53 61 62 64 67 77 79 85 90 91