loading SCIP...
11 42843 true
3 8 12 15 35 48 52 59 61 73 99