TSTP Solution File: SET039-4 by SRASS---0.1