TSTP Solution File: SET040-4 by SInE---0.4