loading SCIP...
30 11296 true
3 6 12 19 20 25 26 27 34 36 40 42 43 53 56 57 59 61 67 68 70 72 75 77 79 80 82 87 91 96