Man pages matching name sat4j in section 1:

sat4j.1.en	debian 10 / sat4j
sat4j.1.en	debian 11 / sat4j
sat4j.1.en	debian 12 / sat4j