De toutes façons, il n'y a pas de mauvais modèles en X48 ou X38, donc c'est selon tes préférences pour les différentes marques et on budget bien sûr.
Perso, j'ai une P5E d'Asus (plus ou moins équivalente à la Maximus Formula) avec un Q6600 G0 @3ghz et une HD3870, ça marche très bien je suis content. 
En SLI ben tu as celle là qui parait-il est parfaite:
http://www.materiel.net/ctl/Socket_775/35485-Striker_II_Formula.html