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