ntk.sat