loading SCIP...
20 23797 true
4 8 10 11 13 22 25 26 31 40 42 45 47 58 60 65 73 75 76 94