Hasil: satisfying