TSTP Solution File: SET039-3 by SInE---0.4