GdS - Verso Cagliari-Inter, le probabili formazioni: certezza Miranda, dubbio Joao Mario