Introducing Amiko A4 SAT