loading SCIP...
14 33766 true
3 4 18 21 31 34 42 56 57 60 72 76 78 84