TSTP Solution File: SET848-2 by SRASS---0.1