keenerd/satisfiability not found