loading SCIP...
14 34781 true
3 4 9 13 14 16 24 37 45 72 73 85 88 90