#include #include #include #include #include #include #include using namespace std; main() { int n, t; ifstream cin("D.txt"); while(cin>>n>>t && n+t) { double dp[2000+1]; { string s; cin >> s; for(int i=0; i