TSTP Solution File: FLD079-3 by SInE---0.4