full setisfy

.