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