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