Formal F1 Solution, Housing Choices