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