loading SCIP...
12 38640 true
6 11 13 19 32 35 40 45 54 67 73 88