recursive unoptimized strassens works