loading SCIP...
10 43813 true
1 3 16 40 50 53 67 86 90 95