loading SCIP...
14 35141 true
1 13 24 32 38 55 56 58 71 73 81 85 88 94