loading SCIP...
13 38718 true
15 18 21 33 64 68 72 81 85 90 91 94 98