This is a known difficult problem as Felipe Voloch mentions in the comments and is as far as I know still open today.