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