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