הסקת מסקנות — must / might / can't

בחרו את המודאלי שמביע ודאות חיובית (בטוח שכן).

The lights are on and the car is here. They ___ at home.