luca.sat