TSTP Solution File: FLD059-4 by SInE---0.4