loading SCIP...
16 30640 true
4 14 19 21 24 28 41 42 54 62 65 66 73 75 92 98