remove unused constructor in SatNotFoundException