TSTP Solution File: GRP129-4.005 by SInE---0.4