loading SCIP...
14 34859 true
2 4 27 44 45 46 56 61 75 76 81 84 88 96