loading SCIP...
26 16485 true
2 9 11 14 21 28 30 34 37 38 41 45 47 48 51 52 53 59 68 69 71 82 88 89 90 96