loading SCIP...
17 31875 true
5 11 16 20 31 37 38 50 51 64 66 67 70 73 83 84 90