loading SCIP...
16 33531 true
12 22 26 27 30 32 38 60 70 73 75 81 86 87 94 98