(;SZ[9]HA[0]KM[3.5]
PB[zetes]
PW[Mars]
TB
TW
)