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