TSTP Solution File: GRP511-1 by SInE---0.4