loading SCIP...
13 35797 true
1 9 14 27 28 39 50 61 68 72 73 77 92