Долю хочет выкупить сосед по коммунальной квартире с помощью социальной выплаты.

Добрый день! Долю хочет выкупить сосед по коммунальной квартире с помощью социальной выплаты. В условиях Горжилобмена указано, что в тексте договора нужно указать, что «до момента полной оплаты приобретаемая квартира не находится в залоге у Продавца». Каким образом продавцу себя обезопасить? Можно ли указать в договоре, к примеру, следующее: 1) Подача документов на переход права собственности в Росреестр осуществляется после согласования параметров приобретаемого жилого помещения СПб ГБУ «Горжилобмен». В случае несогласования СПБ ГБУ «Горжилобмен» параметров приобретаемого жилого помещения, отказе покупателям в предоставлении социальной выплаты, считать договор купли-продажи недействительным. 2) В случае согласования СПБ ГБУ «Горжилобмен» параметров приобретаемого жилого помещения, подача документов на переход права собственности в Росреестр осуществляется нотариусом после письменного уведомления продавцом. Покупатели обязуются предоставить в СПб ГБУ «Горжилобмен» документы для перечисления средств социальной выплаты продавцу в течение двух рабочих дней после регистрации перехода права собственности Росреестром. В случае непоступления денежных средств от СПб ГБУ «Горжилобмен» на расчетный счет продавца в течение 20 рабочих дней после регистрации договора в Росреестре, считать договор купли-продажи недействительным?