CERA-SAT implementation