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