loading SCIP...
14 34250 true
15 17 26 28 30 32 36 39 40 47 55 56 67 97