TSTP Solution File: GRP024-5 by SInE---0.4