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