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