As you can see, the is_satisfiable() method uses the truthtable() method to find the answer. You can do the same and print satisfying assignments:
sage: for row in f.truthtable().get_table_list()[1:]: