loading SCIP...
15 35828 true
3 6 8 10 12 28 32 38 51 57 64 74 78 89 99