{"articles":{"unsatisfiable@logic":{"content":"","names":[[["Unsatisfiable",""]]]}},"style":"Notion"}