loading SCIP...
12 40891 true
5 11 14 23 32 33 52 55 72 78 79 96