TSTP Solution File: GRP123-8.004 by SInE---0.4