В данном предложении нужно выбрать модальный глагол, который выражает предположение или уверенность в прошлом. После модального глагола в прошедшем времени используется конструкция 'have + причастие прошедшего времени'. Фраза "We know for sure" указывает на высокую степень уверенности.
Таким образом, наиболее подходящий вариант - 'must have seen', так как он выражает уверенность в прошлом действии.
Ответ: Mary must have seen what really happened. We know for sure that she was at the crime scene.