loading SCIP...
29 10828 true
6 8 15 17 20 21 22 23 26 30 32 33 38 41 43 51 52 58 63 66 75 77 80 82 84 85 94 97 99