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