terse.sat