loading SCIP...
22 23500 true
7 11 14 23 26 30 34 38 43 44 49 50 53 57 59 61 69 75 77 81 82 99