TSTP Solution File: SET015-3 by SRASS---0.1