forcing:soluprop1uniexp