Should produce satisfiable data now.