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