loading SCIP...
20 29657 true
0 3 4 10 12 22 29 40 44 50 56 65 69 72 73 77 80 81 88 92