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