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