%% Takes

satisfyingassginments(Formula,List) :-
	valid(Formula,[],List).
satisfyingassignments(and(A,B),List,List2) :-
	append([A,t],List,List1), append([B,t],List1,List2).
%%insert([L,T],List,List1) :-