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