Sorry wir konnten satisfiable nicht finden..