loading SCIP...
15 35953 true
4 16 18 25 34 42 55 63 65 66 73 76 78 83 84