loading SCIP...
17 32312 true
3 5 7 13 18 24 25 34 44 46 51 69 70 74 79 97 99