loading SCIP...
12 38891 true
2 3 6 11 13 16 22 33 43 45 68 79