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