loading SCIP...
18 33937 true
25 28 30 34 36 37 40 41 44 47 49 61 63 70 78 81 82 85