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