loading SCIP...
20 28937 true
4 8 10 18 23 36 46 56 62 63 66 69 72 74 82 88 92 93 94 96