loading SCIP...
27 13438 true
1 5 16 21 26 28 30 36 37 49 53 56 57 58 60 62 63 65 66 67 69 75 83 86 87 90 95