pp-satisf.ans