loading SCIP...
12 39953 true
7 10 18 31 32 33 44 45 47 55 62 73