loading SCIP...
23 21313 true
3 7 9 12 19 20 22 24 29 32 37 38 62 70 71 76 77 82 84 93 96 97 99