Input: It is certain that you'll marry no student.
Output: 1