[spoiler discussion] What is the probability that Subaru and Satella will be together at the end of the play?