TSTP Solution File: SET094-7 by SRASS---0.1