Added SAT AM parametrized.