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