All satisfiable
