loading SCIP...
10 42203 true
2 3 7 10 23 27 55 56 81 83