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