loading SCIP...
9 40188 true
4 12 29 32 50 55 62 73 91