in which state do carsten lund and s . r . srinivasa varadhan live ?
SELECT DISTINCT var_uri where brack_open dbr_Carsten_Lund dbo_residence var_uri sep_dot dbr_S._R._Srinivasa_Varadhan dbo_residence var_uri brack_close