le 2000MHz non sono supportate ufficialmente dalla scheda madre, prendi delle 1600MHz 2x2GB(il socket 1156 non supporta il triple-channel).
Come scheda madre, non capisco perchè spendere così tanto