loading SCIP...
16 35828 true
1 2 8 13 15 29 42 48 54 55 59 60 71 90 93 95