moved specs while they are solved in kuhsaft gen