TSTP Solution File: SET115-7 by SInE---0.4