loading SCIP...
17 37938 true
8 15 23 26 31 34 38 41 47 52 53 58 61 63 80 91 95