loading SCIP...
10 44078 true
3 17 18 22 29 32 47 57 70 76