equation solving – Nice cubic polynomials

Let a polynomial with integer coefficients be nice if

  1. this polynomial has integer roots;
  2. its derivative has also integer roots.

For instance

is the smallest known nice cubic polynomial. Smallest here means a polynomial with the smallest absolute value of the largest coefficient ($9times24=216$). But how to verify with the help of MA that there are no smaller ones?