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