satisfaction compilation

.