loading SCIP...
13 20421 true
0 2 12 14 20 29 30 40 48 65 70 73 98