TSTP Solution File: FLD043-5 by SInE---0.4