loading SCIP...
14 38344 true
3 22 28 32 36 40 44 52 54 65 74 83 89 92