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