TSTP Solution File: SET374-6 by SRASS---0.1