loading SCIP...
24 19188 true
4 5 6 12 21 23 25 28 40 44 45 47 54 57 65 76 78 84 85 86 91 92 93 94