TSTP Solution File: SET425-6 by SInE---0.4