loading SCIP...
18 27141 true
8 13 14 22 27 30 32 37 38 40 49 54 59 68 70 81 88 91