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