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