This should be correct. For any cell that isn't green after your first guess, there's only one other possibility for its value.