loading SCIP...
11 33688 true
3 23 24 30 33 42 44 50 57 67 88