to̍k-sat
to̍k-sat