loading SCIP...
19 26656 true
2 5 11 14 17 30 33 37 42 48 65 70 73 76 77 83 87 94 99