x^2=3y^2-3y+1 over integers