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