loading SCIP...
29 13844 true
3 13 17 18 19 23 25 29 45 47 48 50 54 63 64 66 69 70 71 78 82 83 85 88 90 91 92 93 98