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