loading SCIP...
12 31281 true
24 25 47 48 54 56 57 85 86 93 98 99