loading SCIP...
28 14812 true
3 4 6 8 9 10 11 17 21 26 35 41 42 45 52 53 54 62 65 67 70 71 78 79 87 89 90 93