loading SCIP...
16 29797 true
1 4 7 11 14 28 31 35 43 56 64 69 73 74 89 99