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