Value: satisfiable

Edit | Back