Changed solint to int