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