TSTP Solution File: SET781-1 by SRASS---0.1