loading SCIP...
37 3469 true
3 5 9 10 11 12 14 15 19 22 23 24 25 26 30 35 36 53 54 56 58 61 62 65 67 68 75 76 77 79 84 85 89 91 95 97 99