lucas.sat