loading SCIP...
18 29296 true
3 6 14 15 19 20 23 28 35 42 43 65 67 78 84 88 94 98