In 2011, Carlos filed his 2010 state income tax return and paid taxes of $800. Also in 2011, Carlos's employer withheld state income tax of $750 from Carlos's salary. In 2012, Carlos filed his 2011 state income tax return and paid an additional $600 of state tax. How much state income tax can Carlos deduct on his 2011 federal income tax return for state income tax?