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