what is the operating system of the samsung s5230 and also the developer of the samsung galaxy tab 2 10 . 1
SELECT DISTINCT var_uri where brack_open dbr_Samsung_S5230 dbo_operatingSystem var_uri sep_dot dbr_Samsung_Galaxy_Tab_2_10.1 dbp_developer var_uri brack_close