Input:

Or(!a !b c) 5
Or(!a !b) 9
Or(b) 4
sat 6
unsat 7


Output:

CSP:
Or(!a!b c)5 Or(!a!b)9 Or(b)4 sat 6 unsat 7

Max Sat Assignment:
a = false
b = true




Input:

Or(a) 5
Or(!b) 9
Or(c) 66 
sat 6
unsat 7


Output:

CSP:
Or(a)5 Or(!b)9 Or(c)66 sat 6 unsat 7

Max Sat Assignment:
c = true
a = true
b = false




Input:

Or(!a b c) 5
Or(!a b) 4
Or(a) 9
sat 6
unsat 7


Output:

CSP:
Or(!a b c)5 Or(!a b)4 Or(a)9 sat 6 unsat 7

Max Sat Assignment:
a = true
b = true
