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