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