목록TPTP (1)

b