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