loading SCIP...
12 41969 true
12 13 16 28 42 48 53 62 64 66 67 99