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