{ unsatisfiable }

(@x<>[~]-x v @x<~>[]-x)