loading SCIP...
13 36812 true
1 21 23 47 50 53 67 72 73 85 87 92 96