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