forcing:soluprop2uniexp