lemme.sat