remove unused constructors in SatNotFoundException