loading SCIP...
26 15172 true
2 5 6 7 11 18 21 28 29 38 41 44 50 51 52 54 56 57 65 67 81 84 90 92 95 96