Hi,
Is here only formula (3) satisfiable?

Click image for larger version. 

Name:	Bildschirmfoto_2017-06-12_16-46-00.jpg 
Views:	33 
Size:	42.5 KB 
ID:	25773

Thx in advance!