forAll runSol %1