Model of the planets around neutron star pulsar PSR 1257+12.