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