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