"""
Please return the solutions to exercise 05 via this python file.
"""

"""
replace 'valid' by 'satisfiable' or 'none' is appropriate
"""
sol1a = 'valid'
sol1b = 'valid'
sol1c = 'valid'
sol1d = 'valid'
sol1e = 'valid'
sol1f = 'valid'
sol1g = 'valid'
sol1h = 'valid'

"""
replace 16 by the correct number
"""
sol2a = 16
sol2b = 16
sol2c = 16

"""
replace the dictionary by the correct substitution
"""
sol3a = {'x': 'A'}
sol3b = {'x': 'A'}
sol3c = {'x': 'A'}
sol3d = {'x': 'A'}