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