loading SCIP...
13 39437 true
1 3 9 10 18 20 23 31 48 73 78 86 87