All satisfiable