Solovay条件