loading SCIP...
13 38797 true
7 13 20 28 35 44 56 63 64 73 75 87 93