loading SCIP...
13 39828 true
4 6 12 13 33 39 47 50 58 62 66 69 81