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