typed.sat